1. Automated deduction in equational logic and cubic curves

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Automatic theorem proving,، Curves, Algebraic

رده :
QA
76
.
L28
Vol
.
1095

2. Automated deduction in equational logic and cubic curves

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Automatic theorem proving.,Curves, Algebraic.

رده :
QA
,
76
.
9
,.
A96
,
M38
,
1996

3. Automated deduction in equational logic and cubic curves

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Automatic theorem proving ; Curves, Algebraic ;